Computer-Aided Innovation (CAI) : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Continue reading
Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course : Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad
Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects ...
Continue reading
Decision Procedures : An Algorithmic Point of View
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Continue reading
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Continue reading
Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach
Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
Continue reading
Dissemination of Information in Optical Networks : From Technology to Algorithms In Cooperation with Ralf Klasing
This book gives a broad overview of techniques used in the design of WDM networks for efficient dissemination of information ...
Continue reading
Do-All Computing in Distributed Systems :Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth ...
Continue reading
Dynamic Brain - from Neural Spikes to Behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
The volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International ...
Continue reading
E-Commerce and Web Technologies : 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Electronic Commerce and Web Technologies, ...
Continue reading
Embedded Computer Systems: Architectures, Modeling, and Simulation :8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and ...
Continue reading
Euro-Par 2007 Workshops: Parallel Processing : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Parallel and distributed processing , although within the focus of computer science research for along time ,is gainingmore ...
Continue reading
Euro-Par 2008 - Parallel Processing : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, ...
Continue reading
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Continue reading
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Continue reading
Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...
Continue reading
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue readingFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue reading
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue reading
From Animals to Animats 10 : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
Continue reading
